reset-ecl-tuple(A)
== spreadn(A;
== spreadn(Ta,ksa,ia,ga,ha,aa,ea.<Ta
== spreadn(, ksa
== spreadn(, ia
== spreadn(, k',s,v,x. if ha(0,ga(k',s,v,x)) then ia else ga(k',s,v,x) fi 
== spreadn(, n,x. if (n = 0) then ff else ha(n,x) fi 
== spreadn(, aa
== spreadn(, ea>) 

latex

Definitions	reset-ecl-tuple(A), spreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g)), if b then t else f fi , (i = j), ff
FDL editor aliases	reset-ecl-tuple